;; data generated for ICDL 2010 
;; parameters
;;   unobservable: [u1, u2, u3]
;;   observable: [o12, o1, o14, o9, o13, o6, o8, o7, o2, o4, o15, o10, o3, o5, o11]
;;   numEpisodes - 50 meanLength - 100
;; bp
;; --------------
;;   ("o1" 0 15)
;;   ("o13" 8 16)
;;   ("o14" 4 14)
;;   ("o9" 3 5)
;;   ("o9" 9 10)
;;   ("u1" 5 13)
;;   ("u2" 1 2)
;;   ("u2" 6 7)
;;   ("u2" 11 12)
;;   ("u3" 11 17)
;; --------------
;; core
;; --------------------------------
;;  name:o1 start:0 length:56
;;  name:o14 start:18 length:36
;;  name:o9 start:17 length:2
;;  name:o9 start:34 length:1
;;  name:o13 start:30 length:28
;;  name:u1 start:19 length:25
;;  name:u2 start:6 length:4
;;  name:u2 start:20 length:5
;;  name:u2 start:36 length:4
;;  name:u3 start:36 length:33
;; patternLength:69
;; --------------------------------
(0
 (
 ("u2" 27 31)
 ("o14" 3 38)
 ("o9" 38 40)
 ("o13" 2 41)
 ("u2" 41 46)
 ("o13" 42 50)
 ("u3" 15 54)
 ("o9" 55 56)
 ("u2" 57 61)
 ("u1" 40 65)
 ("o14" 39 75)
 ("o1" 21 77)
 ("o13" 51 79)
 ("o12" 57 79)
 ("o9" 61 81)
 ("o14" 76 81)
 ("o7" 83 89)
 ("u3" 57 90)
 ("o5" 56 105)
 ("o11" 29 110)
 ("u3" 91 111)
 ("o6" 82 113)
 ("o14" 85 118)
 ("o4" 28 119)
 ("o1" 90 128)
 ("o3" 54 130)
 ("o2" 84 132)
 ("o13" 86 132)
 ("o15" 72 138)
 ("u1" 86 166)
))
(1
 (
 ("o1" 7 14)
 ("o1" 17 22)
 ("u2" 36 40)
 ("o9" 47 49)
 ("o2" 18 54)
 ("u2" 50 55)
 ("o13" 37 59)
 ("o8" 19 63)
 ("u3" 40 65)
 ("u2" 56 65)
 ("o9" 64 65)
 ("u2" 66 70)
 ("u1" 49 74)
 ("o14" 48 84)
 ("o1" 30 86)
 ("o13" 60 88)
 ("u3" 66 99)
 ("o1" 91 101)
 ("o9" 93 105)
 ("o3" 41 114)
 ("o14" 85 114)
 ("o10" 49 117)
 ("o11" 52 118)
 ("o2" 73 119)
 ("o8" 76 119)
 ("o7" 22 121)
 ("o5" 101 123)
 ("o4" 38 141)
 ("o15" 80 143)
 ("o12" 70 145)
 ("o6" 90 178)
 ("u1" 93 193)
))
(2
 (
 ("u2" 38 42)
 ("o7" 15 48)
 ("o9" 17 48)
 ("o14" 34 49)
 ("u1" 35 50)
 ("u2" 43 51)
 ("o9" 49 51)
 ("o4" 25 57)
 ("u2" 52 57)
 ("o13" 32 61)
 ("o12" 6 64)
 ("u3" 13 67)
 ("o9" 66 67)
 ("u2" 68 72)
 ("u1" 51 76)
 ("o10" 58 77)
 ("o14" 50 86)
 ("o1" 32 88)
 ("o13" 62 90)
 ("o7" 54 93)
 ("u3" 68 101)
 ("o8" 40 118)
 ("o13" 91 118)
 ("o11" 16 120)
 ("o5" 52 125)
 ("o2" 98 125)
 ("o4" 88 128)
 ("o3" 44 132)
 ("o7" 101 132)
 ("o6" 34 133)
 ("o12" 79 150)
 ("o15" 97 198)
))
(3
 (
 ("u2" 10 39)
 ("u2" 40 44)
 ("o4" 48 49)
 ("o9" 51 53)
 ("u2" 54 59)
 ("o2" 22 61)
 ("u3" 58 61)
 ("o8" 12 62)
 ("o13" 22 63)
 ("o9" 68 69)
 ("u2" 70 74)
 ("u1" 53 78)
 ("o12" 73 80)
 ("o14" 52 88)
 ("o10" 27 89)
 ("o1" 34 90)
 ("o13" 64 92)
 ("o4" 90 95)
 ("u3" 70 103)
 ("o11" 31 109)
 ("o5" 46 124)
 ("o9" 88 127)
 ("o2" 86 129)
 ("o8" 78 137)
 ("o3" 87 148)
 ("o10" 106 159)
 ("o6" 102 165)
 ("o1" 91 169)
 ("u2" 105 171)
 ("o13" 110 173)
 ("o15" 71 175)
 ("o7" 106 196)
))
(4
 (
 ("u2" 10 15)
 ("u2" 16 20)
 ("o11" 20 27)
 ("o9" 27 29)
 ("o5" 32 33)
 ("u2" 30 35)
 ("o9" 32 43)
 ("u3" 37 45)
 ("o9" 44 45)
 ("o11" 42 47)
 ("u2" 46 50)
 ("u1" 29 54)
 ("o6" 13 62)
 ("o14" 28 64)
 ("o1" 10 66)
 ("o12" 30 68)
 ("o13" 40 68)
 ("o5" 67 68)
 ("o9" 75 77)
 ("o11" 74 78)
 ("u3" 46 79)
 ("o4" 56 79)
 ("u1" 72 81)
 ("o11" 90 97)
 ("o5" 100 101)
 ("o8" 84 104)
 ("u3" 87 107)
 ("o9" 109 112)
 ("o13" 71 116)
 ("o11" 117 122)
 ("o2" 86 135)
 ("o6" 72 137)
 ("o12" 102 139)
 ("o7" 69 154)
 ("o15" 75 164)
 ("o3" 107 177)
 ("o10" 59 180)
 ("u2" 97 183)
 ("o1" 77 186)
))
(5
 (
 ("u2" 18 22)
 ("o2" 6 27)
 ("o8" 3 29)
 ("o9" 29 31)
 ("o13" 12 33)
 ("o5" 9 37)
 ("u2" 32 37)
 ("o13" 39 41)
 ("u3" 22 47)
 ("o9" 46 47)
 ("u2" 48 52)
 ("o7" 51 54)
 ("u1" 31 56)
 ("o11" 35 60)
 ("o8" 39 62)
 ("o2" 41 64)
 ("o14" 30 66)
 ("o1" 12 68)
 ("o13" 42 70)
 ("o10" 46 70)
 ("o5" 42 72)
 ("o15" 14 77)
 ("u3" 48 81)
 ("o13" 71 87)
 ("o8" 69 89)
 ("u3" 82 92)
 ("o2" 71 94)
 ("o3" 67 95)
 ("u1" 95 96)
 ("o1" 69 97)
 ("o11" 78 97)
 ("o4" 88 99)
 ("o14" 91 107)
 ("o7" 99 112)
 ("o12" 51 113)
 ("o5" 83 114)
 ("o13" 98 119)
 ("o8" 96 122)
 ("o2" 102 123)
 ("o9" 77 148)
 ("o15" 93 149)
 ("o6" 85 184)
))
(6
 (
 ("u2" 8 12)
 ("u1" 19 20)
 ("o9" 19 21)
 ("u2" 22 27)
 ("o2" 4 35)
 ("o9" 24 35)
 ("o9" 36 37)
 ("u2" 38 42)
 ("u1" 21 46)
 ("o5" 22 46)
 ("o14" 20 56)
 ("o1" 2 58)
 ("o13" 32 60)
 ("o4" 27 61)
 ("o8" 3 67)
 ("o7" 69 70)
 ("u3" 38 71)
 ("o11" 18 74)
 ("o5" 58 82)
 ("o15" 53 90)
 ("o10" 55 90)
 ("u2" 45 91)
 ("o2" 43 92)
 ("o6" 68 93)
 ("u3" 72 96)
 ("o12" 47 104)
 ("o13" 72 109)
 ("o4" 84 120)
 ("o8" 71 131)
 ("o11" 81 134)
 ("o3" 73 139)
 ("o1" 71 154)
))
(7
 (
 ("u2" 10 14)
 ("o9" 16 20)
 ("o14" 18 21)
 ("o9" 21 23)
 ("u2" 24 29)
 ("u3" 23 39)
 ("o9" 38 39)
 ("u2" 40 44)
 ("u1" 23 48)
 ("o3" 6 58)
 ("o14" 22 58)
 ("u2" 45 58)
 ("o1" 4 60)
 ("o8" 54 60)
 ("o13" 34 62)
 ("o5" 67 69)
 ("o10" 46 72)
 ("u3" 40 73)
 ("o14" 61 73)
 ("o2" 51 81)
 ("o11" 73 81)
 ("o14" 86 92)
 ("o4" 38 101)
 ("o13" 73 112)
 ("o3" 65 115)
 ("o7" 45 118)
 ("u1" 69 128)
 ("o6" 64 132)
 ("o9" 82 133)
 ("o12" 56 155)
 ("o1" 74 161)
 ("o15" 77 162)
))
(8
 (
 ("o7" 11 25)
 ("o15" 4 35)
 ("o13" 29 36)
 ("o5" 17 39)
 ("o4" 4 43)
 ("o9" 6 43)
 ("u2" 46 50)
 ("o3" 23 53)
 ("o7" 38 54)
 ("o9" 53 56)
 ("u1" 19 58)
 ("o9" 57 59)
 ("u2" 60 65)
 ("o5" 47 69)
 ("u3" 67 75)
 ("o9" 74 75)
 ("o4" 45 76)
 ("o8" 52 76)
 ("o15" 39 78)
 ("u2" 76 80)
 ("u1" 59 84)
 ("o7" 71 85)
 ("o14" 58 94)
 ("o1" 40 96)
 ("o13" 70 98)
 ("o2" 60 99)
 ("o5" 82 104)
 ("u3" 76 109)
 ("o3" 82 109)
 ("o15" 80 113)
 ("o13" 109 113)
 ("o11" 45 116)
 ("o7" 101 120)
 ("o4" 78 122)
 ("o10" 21 128)
 ("o12" 90 130)
 ("o6" 64 134)
 ("o1" 97 137)
 ("o9" 104 142)
 ("u2" 81 160)
))
(9
 (
 ("u2" 38 42)
 ("u1" 28 50)
 ("o9" 49 51)
 ("o3" 40 54)
 ("u2" 52 57)
 ("o13" 29 61)
 ("u3" 45 67)
 ("o9" 66 67)
 ("u2" 68 72)
 ("u1" 51 76)
 ("o4" 44 77)
 ("o2" 65 82)
 ("o14" 50 86)
 ("o1" 32 88)
 ("o13" 62 90)
 ("o8" 88 92)
 ("u3" 68 101)
 ("o3" 83 103)
 ("o9" 92 105)
 ("o5" 83 120)
 ("o10" 53 121)
 ("o6" 35 126)
 ("o15" 70 138)
 ("o1" 91 140)
 ("o11" 100 141)
 ("u2" 97 157)
 ("o14" 94 194)
))
(10
 (
 ("o1" 5 8)
 ("o10" 4 12)
 ("u2" 15 19)
 ("o11" 5 28)
 ("u2" 20 28)
 ("o9" 26 28)
 ("o10" 24 33)
 ("u3" 27 34)
 ("u2" 29 34)
 ("o13" 13 38)
 ("o9" 29 42)
 ("o9" 43 44)
 ("o2" 28 47)
 ("u2" 45 49)
 ("u1" 28 53)
 ("o11" 29 54)
 ("o10" 44 57)
 ("o5" 27 61)
 ("o14" 27 63)
 ("o1" 9 65)
 ("o13" 39 67)
 ("o8" 14 68)
 ("o11" 57 77)
 ("o10" 64 77)
 ("u3" 45 78)
 ("o4" 21 88)
 ("o14" 88 92)
 ("o15" 4 93)
 ("o11" 80 109)
 ("o9" 89 110)
 ("o8" 80 114)
 ("u1" 54 116)
 ("o2" 90 116)
 ("o3" 57 131)
 ("u2" 89 131)
 ("o7" 90 131)
 ("o12" 57 135)
 ("o1" 84 170)
))
(11
 (
 ("o7" 7 21)
 ("o12" 22 23)
 ("u2" 24 28)
 ("u2" 29 37)
 ("o9" 35 37)
 ("o7" 27 38)
 ("o13" 33 39)
 ("u2" 38 43)
 ("o12" 42 49)
 ("o9" 50 51)
 ("o9" 52 53)
 ("o7" 44 54)
 ("u2" 54 58)
 ("u1" 37 62)
 ("o4" 29 63)
 ("o7" 56 69)
 ("o14" 36 72)
 ("o1" 18 74)
 ("o2" 20 74)
 ("o12" 72 75)
 ("o13" 48 76)
 ("o6" 48 81)
 ("o7" 74 83)
 ("o13" 77 83)
 ("o15" 59 84)
 ("u3" 54 87)
 ("o7" 87 93)
 ("o12" 92 94)
 ("o11" 57 103)
 ("o5" 62 109)
 ("o7" 101 109)
 ("o3" 106 112)
 ("o4" 94 116)
 ("o7" 112 119)
 ("o10" 61 120)
 ("o14" 114 120)
 ("o1" 75 159)
 ("o2" 102 176)
 ("u3" 96 199)
 ("u1" 119 215)
 ("o8" 110 233)
))
(12
 (
 ("u2" 11 15)
 ("o9" 15 21)
 ("o9" 22 24)
 ("u2" 25 30)
 ("u2" 31 40)
 ("o9" 39 40)
 ("u2" 41 45)
 ("u1" 24 49)
 ("o6" 49 53)
 ("o14" 23 59)
 ("o1" 5 61)
 ("o7" 51 62)
 ("o13" 35 63)
 ("o11" 1 66)
 ("u3" 41 74)
 ("o14" 60 75)
 ("u1" 71 78)
 ("u3" 75 87)
 ("o12" 36 97)
 ("o6" 99 102)
 ("o3" 71 109)
 ("o1" 62 110)
 ("o10" 62 112)
 ("o5" 54 123)
 ("o2" 47 127)
 ("o15" 53 135)
 ("o11" 67 136)
 ("o8" 63 147)
 ("o4" 95 167)
 ("o13" 94 169)
 ("o9" 97 176)
))
(13
 (
 ("u2" 37 41)
 ("u1" 41 49)
 ("o9" 48 50)
 ("u2" 51 56)
 ("o6" 37 58)
 ("o9" 53 64)
 ("o9" 65 66)
 ("u2" 67 71)
 ("o2" 24 74)
 ("u1" 50 75)
 ("o11" 54 80)
 ("o14" 49 85)
 ("o1" 31 87)
 ("o13" 61 89)
 ("o4" 59 93)
 ("u3" 67 100)
 ("o5" 46 114)
 ("o7" 8 123)
 ("o6" 100 123)
 ("u3" 101 138)
 ("o14" 86 140)
 ("o8" 69 147)
 ("o1" 88 158)
 ("o3" 52 163)
 ("o15" 94 175)
 ("o13" 90 179)
 ("u2" 94 194)
 ("o12" 79 196)
))
(14
 (
 ("u2" 19 23)
 ("o14" 23 30)
 ("o9" 30 32)
 ("u2" 33 38)
 ("o9" 41 46)
 ("o12" 6 47)
 ("o9" 47 48)
 ("o7" 23 52)
 ("u2" 49 53)
 ("u1" 32 57)
 ("u1" 58 61)
 ("o11" 12 63)
 ("o14" 31 67)
 ("o1" 13 69)
 ("o13" 43 71)
 ("o1" 70 72)
 ("u3" 49 82)
 ("o2" 75 84)
 ("o6" 16 91)
 ("o12" 52 91)
 ("u2" 71 96)
 ("o7" 80 100)
 ("u3" 83 110)
 ("o15" 51 115)
 ("o4" 45 116)
 ("o12" 95 117)
 ("o14" 96 119)
 ("o8" 56 138)
 ("o5" 90 142)
 ("o3" 58 147)
 ("o11" 76 147)
 ("o13" 72 159)
 ("o10" 95 176)
))
(15
 (
 ("u2" 20 24)
 ("o9" 31 33)
 ("u2" 34 39)
 ("o13" 20 43)
 ("u3" 31 49)
 ("o9" 48 49)
 ("u2" 50 54)
 ("u1" 33 58)
 ("o14" 32 68)
 ("o1" 14 70)
 ("o13" 44 72)
 ("o1" 71 79)
 ("o4" 14 80)
 ("u3" 50 83)
 ("o8" 48 96)
 ("o12" 29 97)
 ("o7" 56 103)
 ("o2" 39 104)
 ("o9" 58 114)
 ("u1" 80 116)
 ("o1" 96 117)
 ("o6" 99 118)
 ("o5" 87 135)
 ("o10" 64 139)
 ("u2" 57 143)
 ("o11" 82 149)
 ("o14" 69 155)
 ("o4" 89 157)
 ("o15" 69 174)
))
(16
 (
 ("u2" 31 35)
 ("o9" 42 44)
 ("o2" 12 50)
 ("u2" 45 50)
 ("o10" 17 56)
 ("o9" 59 60)
 ("u2" 61 65)
 ("o15" 3 67)
 ("u1" 44 69)
 ("o5" 27 70)
 ("o14" 43 79)
 ("o6" 60 80)
 ("o1" 25 81)
 ("o13" 55 83)
 ("o14" 80 84)
 ("o4" 43 88)
 ("o9" 87 89)
 ("u2" 68 90)
 ("o12" 61 92)
 ("o7" 3 94)
 ("u3" 61 94)
 ("o2" 65 103)
 ("o10" 72 109)
 ("o1" 82 140)
 ("u1" 74 143)
 ("o8" 75 145)
 ("o15" 71 154)
 ("o3" 51 160)
 ("o11" 79 178)
))
(17
 (
 ("u2" 33 37)
 ("o5" 34 38)
 ("u1" 11 45)
 ("o9" 44 46)
 ("o11" 36 52)
 ("u2" 47 52)
 ("o9" 61 62)
 ("u2" 63 67)
 ("u1" 46 71)
 ("o14" 45 81)
 ("o5" 73 82)
 ("o1" 27 83)
 ("o13" 57 85)
 ("o11" 75 89)
 ("o1" 84 90)
 ("u3" 63 96)
 ("o2" 69 102)
 ("o10" 78 117)
 ("o3" 30 120)
 ("u1" 75 126)
 ("o8" 43 133)
 ("o6" 99 147)
 ("o15" 50 156)
 ("o13" 86 158)
 ("o9" 80 161)
 ("o12" 85 165)
 ("o7" 99 177)
 ("u2" 92 181)
 ("o14" 88 186)
 ("o4" 103 189)
))
(18
 (
 ("o15" 2 14)
 ("u2" 13 17)
 ("o15" 15 20)
 ("o14" 17 24)
 ("o9" 24 26)
 ("o15" 21 27)
 ("u2" 27 32)
 ("o15" 28 35)
 ("o15" 38 41)
 ("u3" 29 42)
 ("o9" 41 42)
 ("o9" 43 45)
 ("o15" 43 46)
 ("u2" 43 47)
 ("u1" 26 51)
 ("o15" 48 55)
 ("o8" 56 58)
 ("o14" 25 61)
 ("o15" 56 61)
 ("o1" 7 63)
 ("o13" 37 65)
 ("o1" 65 66)
 ("o15" 63 70)
 ("u3" 43 76)
 ("o15" 74 78)
 ("o9" 82 83)
 ("o15" 79 84)
 ("o1" 81 84)
 ("o15" 85 91)
 ("o7" 69 94)
 ("o15" 94 96)
 ("o11" 93 98)
 ("u2" 57 103)
 ("o15" 97 105)
 ("o1" 104 108)
 ("o10" 59 111)
 ("o5" 102 114)
 ("o15" 107 116)
 ("o3" 49 126)
 ("o13" 66 134)
 ("o2" 91 136)
 ("o14" 83 150)
 ("o4" 53 155)
 ("o6" 97 158)
 ("o12" 79 161)
 ("u1" 80 180)
))
(19
 (
 ("u2" 25 29)
 ("o9" 15 35)
 ("o9" 36 38)
 ("u2" 37 38)
 ("u2" 39 44)
 ("o9" 53 54)
 ("u2" 55 59)
 ("u1" 38 63)
 ("o6" 50 72)
 ("o14" 37 73)
 ("o2" 50 74)
 ("o1" 19 75)
 ("o13" 49 77)
 ("o4" 26 79)
 ("o8" 61 81)
 ("u3" 55 88)
 ("o13" 78 90)
 ("o5" 22 92)
 ("o12" 95 107)
 ("o7" 54 111)
 ("o1" 76 112)
 ("o3" 86 115)
 ("o15" 67 123)
 ("u1" 96 158)
 ("u3" 89 170)
 ("o10" 95 204)
))
(20
 (
 ("u2" 12 16)
 ("o9" 23 25)
 ("o8" 28 30)
 ("u2" 26 31)
 ("o10" 7 37)
 ("o9" 40 41)
 ("u2" 42 46)
 ("u1" 25 50)
 ("o15" 33 58)
 ("o14" 24 60)
 ("o11" 54 61)
 ("o1" 6 62)
 ("o8" 55 62)
 ("o13" 36 64)
 ("o3" 72 74)
 ("u3" 42 75)
 ("o12" 43 78)
 ("o10" 41 82)
 ("o14" 71 85)
 ("o8" 83 87)
 ("o1" 83 101)
 ("o2" 50 103)
 ("o4" 88 105)
 ("o13" 65 107)
 ("o5" 41 109)
 ("o15" 94 118)
 ("o10" 90 129)
 ("u3" 82 130)
 ("o9" 45 131)
 ("o7" 101 142)
 ("u2" 82 145)
))
(21
 (
 ("u2" 15 19)
 ("o9" 2 25)
 ("o7" 18 26)
 ("o9" 26 28)
 ("u2" 29 34)
 ("o5" 32 38)
 ("o3" 39 42)
 ("o9" 43 44)
 ("u2" 45 49)
 ("o6" 43 50)
 ("u1" 28 53)
 ("o8" 54 56)
 ("o7" 48 62)
 ("o14" 27 63)
 ("o1" 9 65)
 ("o13" 39 67)
 ("o1" 73 74)
 ("u3" 45 78)
 ("o5" 70 78)
 ("o7" 79 85)
 ("o3" 81 91)
 ("o9" 49 99)
 ("o12" 93 104)
 ("o13" 68 107)
 ("o2" 54 108)
 ("u1" 54 119)
 ("u3" 79 121)
 ("o14" 64 127)
 ("o4" 43 131)
 ("o15" 78 131)
 ("o11" 44 132)
 ("u2" 64 134)
 ("o10" 38 135)
))
(22
 (
 ("o1" 7 11)
 ("u2" 18 22)
 ("u1" 19 30)
 ("o9" 29 31)
 ("u2" 32 37)
 ("u3" 29 47)
 ("o9" 46 47)
 ("u2" 48 52)
 ("o6" 41 54)
 ("u1" 31 56)
 ("o2" 47 61)
 ("o7" 4 63)
 ("o14" 30 66)
 ("o1" 12 68)
 ("o13" 42 70)
 ("u2" 63 72)
 ("u3" 48 81)
 ("o14" 67 94)
 ("o15" 27 106)
 ("o13" 71 106)
 ("o7" 73 115)
 ("o8" 80 119)
 ("o11" 54 130)
 ("o10" 84 133)
 ("o12" 42 142)
 ("o1" 84 145)
 ("u1" 100 147)
 ("o4" 72 154)
 ("o3" 82 167)
 ("o9" 57 181)
))
(23
 (
 ("u2" 17 21)
 ("o12" 14 24)
 ("u1" 27 29)
 ("o9" 28 30)
 ("u2" 31 36)
 ("u3" 26 46)
 ("o10" 31 46)
 ("o9" 45 46)
 ("o7" 1 48)
 ("u2" 47 51)
 ("u1" 30 55)
 ("o12" 47 62)
 ("o9" 62 64)
 ("o14" 29 65)
 ("o1" 11 67)
 ("o11" 36 69)
 ("o13" 41 69)
 ("o8" 68 77)
 ("o6" 78 79)
 ("u3" 47 80)
 ("u2" 52 84)
 ("o5" 2 85)
 ("o10" 79 87)
 ("o4" 19 90)
 ("o2" 34 92)
 ("o7" 49 93)
 ("o12" 85 105)
 ("o1" 68 115)
 ("u1" 85 120)
 ("o15" 35 121)
 ("o3" 76 129)
 ("o14" 66 131)
 ("o5" 86 151)
))
(24
 (
 ("u2" 3 6)
 ("u2" 11 15)
 ("u2" 16 17)
 ("u2" 19 24)
 ("o9" 22 24)
 ("o4" 2 30)
 ("u2" 25 30)
 ("o13" 12 34)
 ("u2" 36 40)
 ("o9" 39 40)
 ("o15" 26 42)
 ("u2" 41 45)
 ("u1" 24 49)
 ("o4" 31 55)
 ("u2" 47 56)
 ("o14" 23 59)
 ("o1" 5 61)
 ("o12" 55 62)
 ("o13" 35 63)
 ("u2" 62 68)
 ("o6" 20 69)
 ("u3" 41 74)
 ("u2" 75 79)
 ("o8" 30 82)
 ("o4" 56 83)
 ("o15" 67 84)
 ("u3" 75 98)
 ("o7" 41 101)
 ("o3" 22 102)
 ("o5" 55 107)
 ("o9" 44 110)
 ("u1" 57 110)
 ("o2" 78 111)
 ("o4" 84 111)
 ("o10" 61 118)
 ("o11" 55 125)
 ("o14" 84 137)
))
(25
 (
 ("u2" 14 24)
 ("u3" 6 29)
 ("u2" 25 29)
 ("u1" 24 31)
 ("o9" 34 35)
 ("o9" 36 38)
 ("u2" 39 44)
 ("u3" 32 54)
 ("o9" 53 54)
 ("u2" 53 54)
 ("u2" 55 59)
 ("o7" 49 61)
 ("u1" 38 63)
 ("u1" 64 66)
 ("o14" 37 73)
 ("o1" 19 75)
 ("o13" 49 77)
 ("o6" 18 81)
 ("o1" 76 87)
 ("u3" 55 88)
 ("u3" 89 92)
 ("o10" 57 95)
 ("u1" 94 96)
 ("o8" 50 108)
 ("o11" 64 112)
 ("o13" 78 121)
 ("u3" 100 121)
 ("o12" 39 129)
 ("u2" 95 134)
 ("o3" 57 137)
 ("o14" 83 157)
 ("o2" 94 172)
 ("o15" 100 176)
 ("o5" 77 185)
))
(26
 (
 ("u1" 8 21)
 ("u2" 7 24)
 ("u2" 25 29)
 ("o10" 8 36)
 ("u1" 34 37)
 ("o9" 36 38)
 ("u2" 39 44)
 ("u3" 25 54)
 ("o9" 53 54)
 ("o5" 7 58)
 ("o11" 26 58)
 ("u2" 55 59)
 ("u1" 38 63)
 ("o10" 43 66)
 ("o6" 17 68)
 ("o14" 37 73)
 ("o1" 19 75)
 ("u1" 68 76)
 ("o13" 49 77)
 ("u3" 55 88)
 ("o12" 11 89)
 ("o2" 6 90)
 ("o9" 55 93)
 ("u1" 85 94)
 ("o10" 74 95)
 ("o14" 74 107)
 ("o8" 29 108)
 ("u3" 89 117)
 ("o7" 57 119)
 ("o15" 71 120)
 ("o5" 68 125)
 ("u2" 78 131)
 ("o3" 90 132)
 ("o6" 85 142)
 ("o13" 78 143)
 ("o11" 92 147)
 ("o4" 70 149)
 ("o1" 88 164)
))
(27
 (
 ("u2" 11 20)
 ("o1" 10 23)
 ("u2" 30 34)
 ("u2" 35 38)
 ("o14" 37 41)
 ("u1" 17 42)
 ("o9" 41 43)
 ("o2" 5 44)
 ("u2" 44 49)
 ("u2" 50 53)
 ("u3" 40 59)
 ("o9" 58 59)
 ("u2" 60 64)
 ("o9" 64 65)
 ("u1" 43 68)
 ("o6" 36 71)
 ("u2" 65 71)
 ("o14" 42 78)
 ("o2" 53 79)
 ("o1" 24 80)
 ("o13" 54 82)
 ("o10" 62 91)
 ("u3" 60 93)
 ("u2" 80 93)
 ("o14" 92 101)
 ("o12" 77 110)
 ("o2" 90 112)
 ("o5" 82 117)
 ("o11" 32 127)
 ("o13" 83 130)
 ("o6" 97 132)
 ("o15" 60 141)
 ("o4" 96 156)
 ("o3" 84 167)
))
(28
 (
 ("o1" 5 12)
 ("u2" 15 18)
 ("u2" 19 23)
 ("o9" 30 32)
 ("u2" 33 38)
 ("o2" 15 48)
 ("o9" 47 48)
 ("u2" 49 53)
 ("u1" 32 57)
 ("o14" 31 67)
 ("o4" 45 68)
 ("o1" 13 69)
 ("o13" 43 71)
 ("u2" 54 74)
 ("u3" 49 82)
 ("o1" 70 82)
 ("o10" 71 83)
 ("o12" 16 89)
 ("o2" 55 90)
 ("o6" 26 91)
 ("o15" 34 95)
 ("o7" 50 100)
 ("o3" 35 104)
 ("o13" 72 104)
 ("u3" 83 107)
 ("o9" 74 117)
 ("o14" 68 119)
 ("o11" 82 122)
 ("o8" 59 133)
 ("o5" 42 144)
))
(29
 (
 ("o12" 3 5)
 ("o12" 7 8)
 ("o3" 9 16)
 ("u2" 12 16)
 ("o12" 12 17)
 ("o14" 3 19)
 ("u3" 19 21)
 ("o12" 19 22)
 ("o9" 23 25)
 ("o12" 23 27)
 ("u2" 26 31)
 ("o12" 32 33)
 ("o3" 27 35)
 ("u2" 32 41)
 ("o9" 40 41)
 ("u2" 42 46)
 ("o3" 43 46)
 ("o12" 41 47)
 ("u1" 25 50)
 ("o12" 52 53)
 ("o5" 31 54)
 ("o3" 55 57)
 ("o12" 56 59)
 ("o14" 24 60)
 ("o1" 6 62)
 ("o13" 36 64)
 ("o12" 65 72)
 ("o14" 61 73)
 ("o3" 65 73)
 ("u3" 42 75)
 ("o12" 76 78)
 ("u2" 71 80)
 ("o4" 84 86)
 ("o12" 82 87)
 ("o7" 34 88)
 ("o6" 48 88)
 ("o3" 82 88)
 ("o1" 63 91)
 ("o11" 52 98)
 ("o12" 96 99)
 ("o14" 78 102)
 ("o5" 82 108)
 ("o8" 67 111)
 ("o2" 55 121)
 ("o13" 65 124)
 ("o10" 36 128)
 ("u1" 53 137)
 ("o15" 81 144)
 ("o9" 85 159)
))
(30
 (
 ("o1" 17 21)
 ("u2" 28 32)
 ("o9" 10 38)
 ("o14" 21 39)
 ("u2" 35 41)
 ("o9" 39 41)
 ("u2" 42 47)
 ("u3" 23 57)
 ("o9" 56 57)
 ("o15" 29 62)
 ("u2" 58 62)
 ("o7" 24 65)
 ("u1" 41 66)
 ("o5" 50 72)
 ("o14" 40 76)
 ("o1" 22 78)
 ("o13" 52 80)
 ("o6" 69 80)
 ("o11" 83 86)
 ("u2" 74 87)
 ("o8" 35 90)
 ("u3" 58 91)
 ("o2" 62 101)
 ("o3" 73 101)
 ("o15" 85 114)
 ("o4" 92 125)
 ("o10" 67 131)
 ("u1" 67 134)
 ("o9" 84 144)
 ("o1" 89 149)
 ("o12" 89 154)
))
(31
 (
 ("u2" 9 13)
 ("o14" 7 19)
 ("o9" 20 22)
 ("u2" 23 28)
 ("o13" 29 32)
 ("u2" 35 38)
 ("o9" 37 38)
 ("o15" 31 40)
 ("o5" 9 42)
 ("u2" 39 43)
 ("u1" 22 47)
 ("o7" 21 51)
 ("o11" 17 56)
 ("o14" 21 57)
 ("o1" 3 59)
 ("o13" 33 61)
 ("o14" 58 65)
 ("o2" 16 66)
 ("o8" 50 68)
 ("u3" 39 72)
 ("o10" 56 77)
 ("o5" 52 81)
 ("o15" 77 83)
 ("o14" 67 84)
 ("o7" 65 94)
 ("u3" 73 98)
 ("o1" 60 100)
 ("o6" 68 105)
 ("o11" 72 117)
 ("o4" 57 124)
 ("o3" 74 140)
 ("o12" 59 142)
 ("o9" 69 148)
))
(32
 (
 ("o1" 19 28)
 ("u1" 21 30)
 ("u2" 43 47)
 ("o9" 23 53)
 ("u1" 52 55)
 ("o9" 54 56)
 ("u2" 57 62)
 ("o13" 26 66)
 ("o9" 71 72)
 ("o12" 56 74)
 ("u2" 73 77)
 ("o6" 43 79)
 ("u1" 56 81)
 ("o4" 39 91)
 ("o14" 55 91)
 ("o1" 37 93)
 ("o13" 67 95)
 ("o2" 66 103)
 ("u3" 73 106)
 ("u1" 100 112)
 ("o10" 29 114)
 ("o11" 37 116)
 ("o14" 94 121)
 ("o5" 47 125)
 ("o15" 14 144)
 ("o3" 75 164)
 ("o8" 84 169)
 ("u3" 107 177)
 ("o7" 110 184)
))
(33
 (
 ("o1" 14 19)
 ("o6" 21 25)
 ("u2" 26 30)
 ("o9" 4 31)
 ("o11" 15 37)
 ("u1" 13 38)
 ("o9" 37 39)
 ("u2" 40 45)
 ("o6" 48 50)
 ("o9" 40 53)
 ("u3" 23 55)
 ("o9" 54 55)
 ("u2" 56 60)
 ("u1" 39 64)
 ("o7" 50 64)
 ("o10" 20 74)
 ("o14" 38 74)
 ("o6" 71 75)
 ("o1" 20 76)
 ("o13" 50 78)
 ("o5" 1 79)
 ("o11" 49 79)
 ("o12" 66 82)
 ("u3" 56 89)
 ("o15" 63 101)
 ("o9" 84 113)
 ("o8" 71 114)
 ("o11" 92 118)
 ("o14" 75 132)
 ("o1" 80 139)
 ("o13" 79 147)
 ("o10" 93 149)
 ("o4" 60 151)
 ("o2" 63 157)
 ("u2" 61 158)
 ("o5" 80 169)
))
(34
 (
 ("o7" 2 14)
 ("o2" 22 27)
 ("u2" 25 29)
 ("o7" 17 30)
 ("o9" 36 38)
 ("u2" 39 44)
 ("o7" 33 46)
 ("o13" 33 48)
 ("u2" 45 54)
 ("o9" 53 54)
 ("o2" 44 55)
 ("o7" 47 58)
 ("u2" 55 59)
 ("u1" 38 63)
 ("o14" 37 73)
 ("o1" 19 75)
 ("o7" 61 76)
 ("o13" 49 77)
 ("o8" 69 77)
 ("o6" 29 79)
 ("o2" 77 85)
 ("o12" 20 88)
 ("u3" 55 88)
 ("o7" 78 88)
 ("o14" 94 96)
 ("o7" 91 98)
 ("o9" 85 103)
 ("o7" 100 118)
 ("o13" 95 126)
 ("o4" 66 133)
 ("o11" 85 140)
 ("o15" 78 145)
 ("o10" 39 147)
 ("u3" 89 153)
 ("o3" 90 156)
 ("o6" 99 165)
 ("u1" 94 181)
 ("o5" 97 188)
))
(35
 (
 ("o15" 9 10)
 ("o14" 2 18)
 ("o15" 17 19)
 ("o3" 19 23)
 ("o15" 23 25)
 ("u2" 23 27)
 ("o14" 20 34)
 ("o9" 34 36)
 ("o6" 19 37)
 ("o15" 32 38)
 ("u2" 37 42)
 ("o15" 40 46)
 ("o3" 44 48)
 ("u3" 18 52)
 ("o9" 51 52)
 ("o15" 53 57)
 ("u2" 53 57)
 ("u1" 36 61)
 ("o15" 61 64)
 ("o6" 49 67)
 ("o3" 62 67)
 ("u2" 59 68)
 ("o14" 35 71)
 ("o1" 17 73)
 ("o15" 68 73)
 ("o8" 2 75)
 ("o13" 47 75)
 ("o15" 81 83)
 ("o14" 72 84)
 ("u3" 53 86)
 ("o9" 53 92)
 ("o15" 85 93)
 ("o7" 69 94)
 ("o12" 80 94)
 ("o13" 76 103)
 ("o6" 88 103)
 ("o14" 85 104)
 ("o10" 54 105)
 ("o11" 84 135)
 ("o8" 79 152)
 ("o5" 85 165)
))
(36
 (
 ("u2" 21 26)
 ("u2" 27 31)
 ("o14" 27 38)
 ("o9" 38 40)
 ("u2" 41 46)
 ("o13" 41 50)
 ("o7" 52 55)
 ("o9" 55 56)
 ("u2" 57 61)
 ("o5" 10 62)
 ("u1" 40 65)
 ("o14" 39 75)
 ("o1" 21 77)
 ("o13" 51 79)
 ("u2" 70 85)
 ("o3" 12 86)
 ("u3" 57 90)
 ("o7" 92 96)
 ("o13" 85 99)
 ("o1" 83 105)
 ("o4" 64 108)
 ("o12" 37 112)
 ("u1" 66 119)
 ("o15" 89 127)
 ("o11" 59 131)
 ("o2" 30 145)
 ("o5" 84 149)
 ("o9" 90 157)
 ("o10" 91 159)
 ("u3" 91 165)
 ("o6" 113 176)
 ("o3" 99 185)
 ("o8" 88 193)
))
(37
 (
 ("u2" 8 12)
 ("u1" 15 20)
 ("o9" 19 21)
 ("u2" 22 27)
 ("o9" 36 37)
 ("o15" 12 41)
 ("u2" 38 42)
 ("u1" 21 46)
 ("o14" 20 56)
 ("o1" 2 58)
 ("o13" 32 60)
 ("o8" 18 67)
 ("u3" 38 71)
 ("o15" 47 75)
 ("o4" 32 92)
 ("o10" 42 92)
 ("o11" 39 100)
 ("o15" 90 106)
 ("o1" 88 109)
 ("o13" 92 111)
 ("o12" 103 111)
 ("u1" 69 117)
 ("o7" 44 134)
 ("o3" 32 139)
 ("u2" 66 148)
 ("o8" 89 149)
 ("o14" 60 154)
 ("o6" 103 165)
 ("o9" 68 177)
 ("o2" 106 195)
))
(38
 (
 ("u2" 10 14)
 ("o9" 21 23)
 ("u2" 24 29)
 ("o13" 19 33)
 ("o9" 38 39)
 ("u2" 40 44)
 ("u1" 23 48)
 ("o15" 47 54)
 ("o14" 22 58)
 ("o1" 4 60)
 ("o13" 34 62)
 ("u3" 40 73)
 ("o1" 61 81)
 ("o3" 7 83)
 ("o4" 36 100)
 ("o8" 68 103)
 ("o11" 72 103)
 ("o5" 57 106)
 ("o15" 97 106)
 ("u2" 51 110)
 ("o1" 89 112)
 ("o9" 83 124)
 ("o14" 79 133)
 ("o10" 85 137)
 ("u3" 74 152)
 ("o2" 80 158)
 ("o3" 90 161)
 ("o7" 69 175)
))
(39
 (
 ("o6" 7 18)
 ("u2" 14 18)
 ("o2" 14 19)
 ("o9" 25 27)
 ("o2" 26 28)
 ("u2" 28 33)
 ("o11" 8 35)
 ("o6" 24 37)
 ("o13" 32 37)
 ("o2" 38 42)
 ("o9" 42 43)
 ("u2" 44 48)
 ("o12" 18 50)
 ("u1" 27 52)
 ("o3" 41 57)
 ("o6" 45 59)
 ("o2" 55 59)
 ("o14" 26 62)
 ("o1" 8 64)
 ("o13" 38 66)
 ("o10" 50 67)
 ("o15" 18 69)
 ("o2" 70 74)
 ("u3" 44 77)
 ("o13" 73 78)
 ("o6" 66 80)
 ("u2" 82 85)
 ("o2" 84 88)
 ("o12" 65 92)
 ("o11" 50 95)
 ("u1" 63 99)
 ("o4" 39 100)
 ("o13" 93 100)
 ("u3" 78 105)
 ("o6" 90 106)
 ("o2" 104 109)
 ("o7" 36 111)
 ("o3" 103 122)
 ("o15" 80 125)
 ("o5" 60 129)
 ("o8" 34 136)
 ("o12" 106 147)
 ("o11" 109 151)
 ("o9" 109 201)
))
(40
 (
 ("u1" 1 14)
 ("o15" 1 19)
 ("u2" 6 20)
 ("u2" 21 25)
 ("o9" 1 27)
 ("o9" 29 31)
 ("o14" 11 32)
 ("u1" 16 33)
 ("o9" 32 34)
 ("u2" 35 40)
 ("o15" 23 41)
 ("o9" 49 50)
 ("u2" 51 55)
 ("u1" 34 59)
 ("o7" 42 64)
 ("o15" 44 68)
 ("o14" 33 69)
 ("o1" 15 71)
 ("o10" 39 73)
 ("o13" 45 73)
 ("u1" 60 78)
 ("o5" 44 79)
 ("o12" 14 83)
 ("u3" 51 84)
 ("o2" 6 87)
 ("u2" 56 93)
 ("o15" 70 93)
 ("o4" 38 100)
 ("o11" 31 101)
 ("o1" 72 102)
 ("u1" 80 107)
 ("o9" 69 116)
 ("o14" 70 116)
 ("o15" 96 122)
 ("o3" 64 145)
 ("u3" 85 146)
 ("o6" 93 151)
))
(41
 (
 ("o2" 1 4)
 ("o2" 5 8)
 ("u2" 6 10)
 ("o2" 11 15)
 ("o9" 17 19)
 ("o2" 16 21)
 ("u2" 20 25)
 ("o2" 24 34)
 ("u2" 26 35)
 ("o9" 34 35)
 ("u2" 36 40)
 ("o2" 36 43)
 ("u1" 19 44)
 ("o15" 5 48)
 ("o2" 44 52)
 ("o14" 18 54)
 ("o1" 0 56)
 ("o8" 5 57)
 ("o13" 30 58)
 ("u1" 48 62)
 ("o2" 53 62)
 ("u3" 36 69)
 ("o2" 63 70)
 ("o9" 65 78)
 ("o2" 72 78)
 ("u1" 74 83)
 ("o6" 35 84)
 ("o2" 79 84)
 ("o14" 70 89)
 ("o2" 86 94)
 ("o15" 54 98)
 ("o4" 60 101)
 ("o2" 97 104)
 ("u1" 94 106)
 ("o5" 97 108)
 ("o3" 31 111)
 ("o11" 47 111)
 ("o7" 72 115)
 ("o8" 68 127)
 ("o1" 70 156)
 ("o12" 81 169)
))
(42
 (
 ("u2" 23 27)
 ("o14" 31 34)
 ("o9" 34 36)
 ("o12" 36 37)
 ("o10" 16 39)
 ("o6" 38 41)
 ("u2" 37 42)
 ("u3" 41 44)
 ("o13" 9 46)
 ("o9" 51 52)
 ("u2" 53 57)
 ("o11" 36 58)
 ("u1" 36 61)
 ("o12" 61 62)
 ("o14" 35 71)
 ("o1" 17 73)
 ("o13" 47 75)
 ("o8" 51 76)
 ("o10" 58 77)
 ("o7" 57 83)
 ("u3" 53 86)
 ("o3" 68 90)
 ("o6" 83 96)
 ("o12" 95 97)
 ("o5" 36 112)
 ("o15" 74 116)
 ("o11" 91 124)
 ("o4" 46 132)
 ("o13" 76 135)
 ("o2" 46 140)
 ("u1" 72 150)
 ("o9" 85 155)
 ("o1" 75 168)
))
(43
 (
 ("u2" 7 11)
 ("o9" 18 20)
 ("u2" 21 26)
 ("o9" 33 34)
 ("o9" 35 36)
 ("u2" 37 41)
 ("u1" 20 45)
 ("o14" 19 55)
 ("o1" 1 57)
 ("o13" 31 59)
 ("o12" 3 62)
 ("o6" 37 64)
 ("u2" 61 68)
 ("u3" 37 70)
 ("u1" 48 70)
 ("o8" 39 72)
 ("o2" 71 74)
 ("o10" 15 77)
 ("o4" 43 82)
 ("o14" 56 82)
 ("u1" 83 108)
 ("o7" 90 120)
 ("o12" 73 125)
 ("o13" 82 135)
 ("o3" 75 146)
 ("u3" 72 156)
 ("o10" 89 163)
))
(44
 (
 ("o1" 9 10)
 ("o3" 13 18)
 ("o3" 26 27)
 ("u2" 26 30)
 ("u2" 31 39)
 ("o9" 37 39)
 ("o3" 38 42)
 ("u2" 40 45)
 ("o2" 41 54)
 ("o9" 54 55)
 ("o3" 55 59)
 ("u2" 56 60)
 ("o11" 39 64)
 ("u1" 39 64)
 ("o7" 55 70)
 ("o14" 38 74)
 ("o3" 72 75)
 ("o1" 20 76)
 ("o14" 75 76)
 ("o13" 50 78)
 ("o12" 11 79)
 ("o3" 81 84)
 ("o5" 43 86)
 ("o1" 84 87)
 ("u3" 56 89)
 ("o1" 93 98)
 ("o13" 79 99)
 ("o15" 58 100)
 ("o8" 92 105)
 ("o9" 60 116)
 ("u1" 65 116)
 ("o4" 90 122)
 ("u3" 90 133)
 ("o12" 84 141)
 ("o10" 92 169)
 ("o6" 89 173)
))
(45
 (
 ("o3" 6 9)
 ("o3" 17 20)
 ("u2" 21 25)
 ("o3" 28 30)
 ("o14" 11 32)
 ("u1" 2 33)
 ("o9" 32 34)
 ("o3" 35 37)
 ("u2" 35 40)
 ("o3" 48 49)
 ("u3" 12 50)
 ("o9" 49 50)
 ("u2" 51 55)
 ("u1" 34 59)
 ("o3" 59 63)
 ("o15" 2 65)
 ("o11" 14 67)
 ("o5" 34 68)
 ("o14" 33 69)
 ("o1" 15 71)
 ("o7" 10 73)
 ("o13" 45 73)
 ("o3" 69 73)
 ("o9" 60 79)
 ("o1" 72 82)
 ("o3" 78 82)
 ("u3" 51 84)
 ("o14" 70 90)
 ("o3" 90 97)
 ("o3" 100 102)
 ("u3" 85 105)
 ("o5" 93 123)
 ("o11" 85 125)
 ("o6" 48 131)
 ("u2" 93 139)
 ("o7" 78 143)
 ("o12" 53 145)
 ("o14" 103 148)
 ("o15" 66 153)
 ("o10" 90 153)
 ("o13" 80 159)
 ("o8" 67 163)
 ("u1" 90 171)
 ("o4" 76 179)
))
(46
 (
 ("u2" 9 13)
 ("o9" 20 22)
 ("u2" 23 28)
 ("o13" 12 32)
 ("o9" 24 36)
 ("o9" 37 38)
 ("u2" 39 43)
 ("u1" 22 47)
 ("o6" 6 52)
 ("o8" 26 55)
 ("o14" 21 57)
 ("o5" 10 58)
 ("o1" 3 59)
 ("o13" 33 61)
 ("o15" 60 69)
 ("o2" 10 70)
 ("o10" 9 71)
 ("u3" 39 72)
 ("o1" 62 74)
 ("o4" 11 77)
 ("u2" 48 79)
 ("o3" 39 85)
 ("o12" 68 87)
 ("o11" 80 89)
 ("o7" 44 94)
 ("u1" 48 94)
 ("o5" 64 102)
 ("o6" 61 110)
 ("u3" 73 120)
 ("o10" 79 157)
))
(47
 (
 ("o4" 8 10)
 ("u2" 11 15)
 ("o4" 16 17)
 ("o9" 16 21)
 ("u1" 20 23)
 ("u2" 20 24)
 ("o9" 22 24)
 ("u2" 25 30)
 ("o6" 28 30)
 ("o4" 30 31)
 ("o9" 39 40)
 ("o3" 24 43)
 ("u2" 41 45)
 ("o4" 43 45)
 ("u1" 24 49)
 ("o4" 49 51)
 ("o6" 51 55)
 ("o10" 47 58)
 ("o14" 23 59)
 ("o1" 5 61)
 ("o13" 35 63)
 ("o4" 61 63)
 ("o4" 66 67)
 ("u3" 41 74)
 ("o3" 61 74)
 ("o4" 76 77)
 ("o12" 42 79)
 ("o6" 79 81)
 ("o4" 82 84)
 ("o4" 89 91)
 ("o7" 71 93)
 ("o15" 86 94)
 ("o11" 12 100)
 ("o2" 12 104)
 ("o14" 60 107)
 ("o8" 11 111)
 ("o1" 74 126)
 ("u1" 90 133)
 ("u3" 80 141)
 ("u2" 90 150)
 ("o5" 82 155)
))
(48
 (
 ("u2" 21 24)
 ("o14" 26 32)
 ("u2" 34 38)
 ("o2" 17 45)
 ("o9" 45 47)
 ("u2" 48 53)
 ("o8" 19 55)
 ("o13" 23 57)
 ("o9" 48 61)
 ("o9" 62 63)
 ("o6" 61 65)
 ("u2" 64 68)
 ("u1" 47 72)
 ("o4" 62 72)
 ("o7" 27 74)
 ("u2" 69 74)
 ("o12" 23 80)
 ("o14" 46 82)
 ("o1" 28 84)
 ("o13" 58 86)
 ("u3" 64 97)
 ("o1" 87 97)
 ("o3" 4 99)
 ("o2" 64 101)
 ("o8" 72 105)
 ("u2" 99 107)
 ("o5" 93 115)
 ("o11" 24 121)
 ("o12" 96 142)
 ("o15" 61 148)
 ("o10" 63 148)
 ("o7" 99 155)
 ("u3" 98 157)
 ("u1" 80 176)
))
(49
 (
 ("u2" 23 27)
 ("o9" 27 29)
 ("u1" 13 35)
 ("o9" 34 36)
 ("u2" 37 42)
 ("o5" 43 50)
 ("o3" 17 51)
 ("o7" 9 52)
 ("o9" 51 52)
 ("u2" 53 57)
 ("u1" 36 61)
 ("o2" 54 62)
 ("o14" 35 71)
 ("u1" 62 71)
 ("o1" 17 73)
 ("o13" 47 75)
 ("o9" 74 75)
 ("o4" 58 84)
 ("u3" 53 86)
 ("o5" 81 89)
 ("o3" 68 96)
 ("o7" 64 102)
 ("o14" 81 104)
 ("u1" 83 106)
 ("o15" 80 113)
 ("u2" 66 122)
 ("o12" 81 122)
 ("o8" 62 123)
 ("o1" 74 125)
 ("o6" 62 126)
 ("o11" 67 143)
))
